Texas ejecuta al mexicano Ramírez Cárdenas por violación y asesinato